<html>
<head>
<title>Test Case for Bug 13067: Manually adding #hash to URL reloads entire page instead of jumping to #hash location in cached page</title>
<style>
body {
    min-height: 10000px;
    margin-top: 0px;
    padding-top: 0px;
}
div {
    min-height: 100px;
    border: 1px solid black;
}
</style>
</head>
<body>
top
<div id="div1">div1</div>
<div id="div2">div2</div>
<div id="div3">div3</div>
<div id="div4">div4</div>
<div id="div5">div5</div>
</body>
</html>
